From 6c78d04f75bbea0c10608946a6dc6a249ff65f43 Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Sat, 10 Sep 2005 14:20:29 +0000 Subject: [PATCH] This patch fix a bug in set_reg_value() for x86_64 VMX guest. Signed-off-by: Chengyuan Li --- xen/arch/x86/vmx_io.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/x86/vmx_io.c b/xen/arch/x86/vmx_io.c index 1d3b248e5e..7f33a6ef28 100644 --- a/xen/arch/x86/vmx_io.c +++ b/xen/arch/x86/vmx_io.c @@ -261,7 +261,7 @@ static void set_reg_value (int size, int index, int seg, struct cpu_user_regs *r domain_crash_synchronous(); break; } - + return; } switch (index) { -- 2.30.2